The White Knight’s “Inventions”
نویسندگان
چکیده
منابع مشابه
White Knights of the Smart City
In this paper we will demonstrate how a science fiction storyboard was used as a means for delivering and discussing future technology and design innovations. We present a case in which an illustrated storyboard exemplified the interactions of an experienced-centered technology design concept – a winter caretaking system for a smart city and two devices that could assist its citizens. In the sc...
متن کاملA Theoretical Analysis of the “Uselessness” of White Knights
The formal analysis of domain-independent planning has been largely influenced by David Chapman's system Tweak, built upon a modal truth criterion (MTC), which is proved correct and complete. However, D. Chapman ends his work arguing without any formal proof that the white knight technique used in his MTC is “pretty useless” (a fact informally accepted in the planning community). Here, it is fo...
متن کاملBalanced Black and White Coloring Problem on knights chessboards
Graph anticoloring problem is partial coloring problem where the main feature is the opposite rule of the graph coloring problem, i.e., if two vertices are adjacent, their assigned colors must be the same or at least one of them is uncolored. In the same way, Berge in 1972 proposed the problem of placing b black queens and w white queens on a n× n chessboard such that no two queens of different...
متن کاملBeyond Knights and Knaves
In the classic knights and knaves problem, there are n people in a room each of whom is a knight or a knave. Knights always tell the truth while knaves always lie. Everyone in the room knows each other’s identity. You are allowed to ask questions of the form “Person i, is person j a knight?” and you are told that there are more knights than knaves. What is the fewest number of questions you can...
متن کاملAcceleration of the Boundary Element Library BEM4I on the Knights Corner and Knights Landing Architectures
The aim of the poster is to present the acceleration of the boundary element method (BEM) by the Intel Xeon Phi technology. The poster provides brief overview of BEM followed by the discretization approach and efficient numerical assembly of the BEM matrices. We discuss its parallelization by OpenMP in shared memory and the SIMD vectorization necessary to exploit the full potential of the Xeon ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Libri et liberi
سال: 2020
ISSN: 1848-5871,1848-3488
DOI: 10.21066/carcl.libri.2020.1.2